/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package edu.yonsei.iwb.sdt.refinement;

/**
 *
 * @author JDK
 */
public class RefinementType {
    public static int TOPCONCEPTCONSTRUCTOR = 100;
    public static int CONCEPTCONSTRUCTOR = 10;
    public static int CONJUNCTION = 20;
    public static int DISJUNCTION = 30;
    
    public static int DOMAINRESTRICTION = 50;
    
    public static int QUALIFICATION = 1;
    public static int CARDINALITYRESTRICTION = 0;
    public static int QUALIFIED_CONJUNTION = 2;
    
    public static int EXPANDED_CONJUNCTION = 3;
    public static int EXPANDED_DISJUNCTION = 4;
    
    public static int IS_EXPANDED=5;
}
